Name | Format | # Pages | Size | Date |
---|---|---|---|---|
manual.dvi | Device Independent File | 10 | 56KB | 1997-08-26 |
Name | Format | # Lines | Size | Date |
---|---|---|---|---|
history.txt | Text File | 53 | 2KB | 1997-08-27 |
manual.txt | Text File | 812 | 38KB | 1997-08-26 |
read_me.txt | Text File | 5 | 134b | 1995-12-02 |
register.txt | Text File | 75 | 2KB | 1997-09-16 |